Security kernel - PDFSEARCH.IO - Document Search Engine

Security kernel
Results: 400

#	Item
121	PaX Introduction PaX: Twelve Years of Securing Linux PaX Team Add to Reading List Source URL: pax.grsecurity.net Language: English - Date: 2012-10-10 09:42:52 Linux kernel PaX Linux Address space layout randomization Grsecurity Kernel RSBAC Mandatory access control Loadable kernel module Computer security Software System software
122	L4.Sec Preliminary Microkernel Reference Manual Bernhard Kauer, Marcus V¨olp Technische Universit¨at DresdenDresden, Germany {kauer,voelp}@os.inf.tu-dresden.de Add to Reading List Source URL: os.inf.tu-dresden.de Language: English - Date: 2005-10-19 09:23:28 Microkernel Kernel Mach Capability-based security C Computer architecture Computing L4 microkernel family
123	A Brief Overview on L4.Sec Add to Reading List Source URL: os.inf.tu-dresden.de Language: English - Date: 2005-10-19 09:30:31 L4 microkernel family Kernel Linux kernel Capability-based security Thread Operating system Operating system kernels Computer architecture Computing Software
124	seL4 for Dependable Systems Software Developing dependable systems requires built-in security and safety at all levels of the system, including in the lowest-level system software: the operating system and device access Add to Reading List Source URL: sel4.org Language: English - Date: 2014-09-23 22:58:53 Gernot Heiser L4 microkernel family Formal verification Real-time operating systems Kernel Computer security Integrity Mach Ring Computer architecture Trusted computing base Microkernel
125	Security and the Average Programmer (Invited Contribution) Daniel Giﬃn, Stefan Heule, Amit Levy, David Mazi`eres, John Mitchell, Alejandro Russo, Amy Shen, Deian Stefan, David Terei, and Edward Yang Stanford and Cha Add to Reading List Source URL: stefanheule.com Language: English - Date: 2015-01-15 03:04:25 Crime prevention National security Computer network security Secure communication Kernel Vulnerability Operating system Ring Application security Computer security Security Cyberwarfare
126	A Model of Security for Distributed Systems August 28, 1995 4:06 pm A New Model of Security for Distributed Systems Wm A. Wulf Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 1998-12-07 09:06:04 National security Computer network security Electronic commerce Secure communication Multilevel security Trusted computing base Operating system Kernel Ring Computer security Security Crime prevention
127	Reconstructing Trust Management Ajay Chander ∗ Drew Dean † John C. Mitchell∗ Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-02-04 00:01:29 Simple public key infrastructure Access control Logic in computer science Programming language semantics Access Control Matrix Kernel Architecture of Windows NT Operational semantics Logical access control Security Computer security Key management
128	Introduction Operating Systems C. Weissman Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2002-11-20 22:22:25 Capability-based security Kernel Hydra Ring Operating system C.mmp Loadable kernel module Mach Object Manager Computer architecture Computing Access control
129	Undermining the Linux Kernel: Malicious Code Injec:on via /dev/mem Anthony Lineberry Black Hat Europe 2009 Add to Reading List Source URL: www.blackhat.com Language: English - Date: 2014-12-16 19:06:29 Computer security Malware Rootkit Linux kernel Keystroke logging Loadable kernel module Kernel System software Software Cyberwarfare
130	Anti-Virus Software 0Day Party MJ0011 Agenda Add to Reading List Source URL: powerofcommunity.net Language: English - Date: 2010-12-06 04:41:42 Antivirus software Shellcode Privilege escalation INCA Internet Linux kernel Architecture of Windows NT Windows Registry Zero-day attack Ioctl Computer security System software Software

UPDATE